Mixed-signal Circuits Using Hybrid System Models
نویسندگان
چکیده
In this paper we propose an approach for testing time-domain properties of analog and mixed-signal circuits. The approach is based on an adaptation of a recently developed test generation technique for hybrid systems and a new concept of coverage for such systems. The approach is illustrated by its application to some benchmark circuits.
منابع مشابه
Modeling and Simulation of Substrate Noise in Mixed-Signal Circuits Applied to a Special VCO
The mixed-signal circuits with both analog and digital blocks on a single chip have wide applications in communication and RF circuits. Integrating these two blocks can cause serious problems especially in applications requiring fast digital circuits and high performance analog blocks. Fast switching in digital blocks generates a noise which can be introduced to analog circuits by the common su...
متن کاملVeri cation of Analog and Mixed-Signal Circuits using Hybrid System Techniques
In this paper we demonstrate a potential extension of formal veri cation methodology in order to deal with analog and mixed-signal circuits. In particular, we focus on verifying time-domain properties. The time-dependent behavior of an analog circuit can be described by a system of di erential algebraic equations. To analyze such circuits under all possible input signals and all values of param...
متن کاملABCD-NL: Approximating Non-Linear Analog/Mixed-Signal Systems using Purely Boolean Models for High-speed Simulation and Formal Verification
We present ABCD-NL, a technique that approximates non-linear analog circuits using purely Boolean models, to high accuracy. Given an analog/mixed-signal (AMS) system (e.g., a SPICE netlist), ABCD-NL produces a Boolean circuit representation (e.g., an And Inverter Graph, Finite State Machine, or Binary Decision Diagram) that captures the I/O behaviour of the given system, to near-SPICE accuracy,...
متن کاملCircuit-Level Verification of Practical Circuits Based on Reachability Analysis
Formal verification of analog and mixed signal circuits using continuous models is a promising area. As a consequence, hybrid system techniques, especially reachability analysis, have been applied to verify AMS designs. However, reachability computation is extremely expensive for high-dimensional, nonlinear hybrid systems. Therefore, it is challenging to verify large, practical circuits using a...
متن کاملVerifying nonlinear analog and mixed-signal circuits with inputs
We present a new technique for verifying nonlinear and hybrid models with inputs. We observe that once an input signal is fixed, the sensitivity analysis of the model can be computed much more precisely. Based on this result, we propose a new simulation-driven verification algorithm and apply it to a suite of nonlinear and hybrid models of CMOS digital circuits under different input signals. Th...
متن کامل